p{-}open{-}member($p$;$C$;$s$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$n$:$\mathbb{N}$. ($C$($<$$n$, $s$$>$) = 1 $\in$ $\mathbb{Z}$)